Ofer Strichman
Decision Procedures: An Algorithmic Point of View (Softcover Reprint of the Original 2nd 2016)
By
Daniel Kroening
,
Ofer Strichman
Paperback
AED
280
39
AEDĀ 414.00
32% OFF
Free Delivery
2 - 11 Dec